Chinese translation for "automatic theorem proving"

自动定理证明

Related Translations:

prove的过去式和过去分词:  proved

theorems:  定理

modularity theorem:  谷山-志村定理谷山志村猜想

isomorphism theorem:  第一同构定理同构基本定理同态基本定理

wieners theorem:  维纳自相关定理

uniqueness theorem:  唯一性定理一义性定理

bound theorem:  界限定理

cauchy theorem:  柯西定理

bayess theorem:  贝叶斯定理

dirichlet theorem:  狄利克雷定理

Example Sentences:

1.

A member of the herbrand base is called atom in automatic theorem proving 在自动定理证明中,海尔勃朗基的成员也称为原子。

Similar Words：

"automatic testing equipment" Chinese translation, "automatic testing machine" Chinese translation, "automatic text" Chinese translation, "automatic text categorization" Chinese translation, "automatic texture analysis system" Chinese translation, "automatic thermal regulator" Chinese translation, "automatic thermal type fire-alarm" Chinese translation, "automatic thermo type fire alarm" Chinese translation, "automatic thermohygrograph" Chinese translation, "automatic thermometic enthalpy titration" Chinese translation